翻訳と辞書
Words near each other
・ object-oriented pascal
・ object-oriented programming
・ object-oriented programming language
・ object-oriented sql
・ object-oriented turing
・ objectbroker
・ objectcenter
・ objecteering
・ objectionable-c
・ objective c
objective caml
・ objective modula-2
・ objective pascal
・ objectlogo
・ objectory
・ objectpal
・ objectworks
・ objlog
・ objt
・ objvlisp


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

objective caml : FOLDOC
Objective CAML
(Originally "CAML" - Categorical Abstract Machine Language) A version of ML by G. Huet, G. Cousineau, Ascander Suarez, Pierre Weis, Michel Mauny and others of INRIA. CAML is intermediate between {LCF ML} and SML [in what sense?]. It has {first-class} functions, {static type inference} with polymorphic types, user-defined {variant types} and {product types}, and pattern matching. It is built on a proprietary run-time system.
The CAML V3.1 implementation added lazy and {mutable} data structures, a "grammar" mechanism for interfacing with the Yacc parser generator, prettyprinting tools, high-performance {arbitrary-precision} arithmetic, and a complete library.
in 1990 Xavier Leroy and Damien Doligez designed a new implementation called CAML Light, freeing the previous implementation from too many experimental high-level features, and more importantly, from the old Le_Lisp back-end.
Following the addition of a {native-


スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.